$\forall$${\it ds}$:fpf(Id; $x$.Type). decl{-}state(${\it ds}$) $\in$ Type